(define (problem BW-generalization-4)
(:domain blocksworld-4ops)(:objects k i j a b f l e g h)
(:init 
(handempty)
(ontable k)
(ontable i)
(ontable j)
(ontable a)
(ontable b)
(ontable f)
(ontable l)
(ontable e)
(ontable g)
(ontable h)
(clear k)
(clear i)
(clear j)
(clear a)
(clear b)
(clear f)
(clear l)
(clear e)
(clear g)
(clear h)
)
(:goal
(and
(on k i)
(on i j)
(on j a)
(on a b)
(on b f)
(on f l)
(on l e)
(on e g)
(on g h)
)))